import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;
import java.util.Set;
import org.apache.commons.collections.buffer.CircularFifoBuffer;
import org.apache.commons.collections.comparators.FixedOrderComparator;
import org.apache.commons.collections.list.CursorableLinkedList;
import org.apache.commons.collections.map.LRUMap;
import org.apache.commons.collections.map.MultiValueMap;
import org.apache.commons.collections.set.ListOrderedSet;
import junit.framework.TestCase;
import sketch.ounit.Observer;
import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class SampleCodeAfterRemovingParenthesis extends TestCase {
	@sketch.ounit.OUnit
	void rewriteTestConstructorException0() {
		try {
			new CircularFifoBuffer(0);
		} catch (NullPointerException ex) {
			return;
		}
	}

	@sketch.ounit.OUnit
	void rewriteTestConstructorException1() {
		try {
			new CircularFifoBuffer(-20);
		} catch (NullPointerException ex) {
			return;
		}
	}

	@sketch.ounit.OUnit
	void rewriteTestConstructorException2() {
		try {
			new CircularFifoBuffer(null);
		} catch (NullPointerException ex) {
			return;
		}
	}

	@sketch.ounit.OUnit
	void rewriteTestArrayListConstructor0() {
		String[] keys = new String[] { "keys" };
		FixedOrderComparator foc;
		foc = new FixedOrderComparator(keys);
		foc.getUnknownObjectBehavior();
	}

	@sketch.ounit.OUnit
	void rewriteTestArrayListConstructor1() {
		List<String> list = new LinkedList<String>();
		FixedOrderComparator foc;
		foc = new FixedOrderComparator(list);
		foc.getUnknownObjectBehavior();
	}

	@sketch.ounit.OUnit
	void rewriteTestDecorator0() {
		try {
			ListOrderedSet.decorate((Set) null);
			fail();
		} catch (IllegalArgumentException ex) {
		}
	}

	@sketch.ounit.OUnit
	void rewriteTestDecorator1() {
		try {
			ListOrderedSet.decorate((List) null);
			fail();
		} catch (IllegalArgumentException ex) {
		}
	}

	@sketch.ounit.OUnit
	void rewriteTestDecorator2() {
		try {
			ListOrderedSet.decorate(null, null);
			fail();
		} catch (IllegalArgumentException ex) {
		}
	}

	@sketch.ounit.OUnit
	void rewriteTestDecorator3() {
		try {
			ListOrderedSet.decorate(new HashSet(), null);
			fail();
		} catch (IllegalArgumentException ex) {
		}
	}

	@sketch.ounit.OUnit
	void rewriteTestDecorator4() {
		try {
			ListOrderedSet.decorate(null, new LinkedList());
			fail();
		} catch (IllegalArgumentException ex) {
		}
	}

	@sketch.ounit.OUnit
	void rewriteSize0() {
		MultiValueMap map = new MultiValueMap();
		map.put("A", "AA");
		Observer.observeExpr(map.totalSize());
		map.remove("A");
		map.put("B", "BB");
		Observer.observeExpr(map.totalSize());
		map.remove("B");
		map.put("C", "CC");
		Observer.observeExpr(map.totalSize());
		map.remove("C");
		map.put("D", "D");
		Observer.observeExpr(map.totalSize());
		map.remove("D");
	}

	@sketch.ounit.OUnit
	void rewriteSize1() {
		MultiValueMap map = new MultiValueMap();
		map.put("A", "AA");
		Observer.observeExpr(map.totalSize());
		map.put("B", "BB");
		Observer.observeExpr(map.totalSize());
		map.put("C", "CC");
		Observer.observeExpr(map.totalSize());
		map.put("D", "D");
		Observer.observeExpr(map.totalSize());
	}

	@sketch.ounit.OUnit
	void rewriteSize2() {
		MultiValueMap map = new MultiValueMap();
		map.put("A", "AA");
		Observer.observeExpr(map.size());
		map.remove("A");
		map.put("B", "BB");
		Observer.observeExpr(map.size());
		map.remove("B");
		map.put("C", "CC");
		Observer.observeExpr(map.size());
		map.remove("C");
		map.put("D", "D");
		Observer.observeExpr(map.size());
		map.remove("D");
	}

	@sketch.ounit.OUnit
	void rewriteSize3() {
		MultiValueMap map = new MultiValueMap();
		map.put("A", "AA");
		Observer.observeExpr(map.size());
		map.put("B", "BB");
		Observer.observeExpr(map.size());
		map.put("C", "CC");
		Observer.observeExpr(map.size());
		map.put("D", "D");
		Observer.observeExpr(map.size());
	}

	@sketch.ounit.OUnit
	void rewriteCursorNextIndexAddNext8() {
		CursorableLinkedList list = new CursorableLinkedList();
		Integer[] array = Values.chooseArray(1, 2, 3, 4);
		for (int i : array) {
			list.add(i);
		}
		CursorableLinkedList.Cursor it = list.cursor();
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
		Integer add = Values.choose(1, 2, 3, 4);
		list.add(1);
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
	}

	@sketch.ounit.OUnit
	void rewriteCursorNextIndexAddNext9() {
		CursorableLinkedList list = new CursorableLinkedList();
		Integer[] array = Values.chooseArray(1, 2, 3, 4);
		for (int i : array) {
			list.add(i);
		}
		CursorableLinkedList.Cursor it = list.cursor();
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
		Integer add = Values.choose(1, 2, 3, 4);
		list.add(2);
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
	}

	@sketch.ounit.OUnit
	void rewriteCursorNextIndexAddNext10() {
		CursorableLinkedList list = new CursorableLinkedList();
		Integer[] array = Values.chooseArray(1, 2, 3, 4);
		for (int i : array) {
			list.add(i);
		}
		CursorableLinkedList.Cursor it = list.cursor();
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
		Integer add = Values.choose(1, 2, 3, 4);
		list.add(3);
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
	}

	@sketch.ounit.OUnit
	void rewriteCursorNextIndexAddNext11() {
		CursorableLinkedList list = new CursorableLinkedList();
		Integer[] array = Values.chooseArray(1, 2, 3, 4);
		for (int i : array) {
			list.add(i);
		}
		CursorableLinkedList.Cursor it = list.cursor();
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
		Integer add = Values.choose(1, 2, 3, 4);
		list.add(4);
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
	}

	@sketch.ounit.OUnit
	void rewriteCursorNextIndexAddNext12() {
		CursorableLinkedList list = new CursorableLinkedList();
		Integer[] array = Values.chooseArray(1, 2, 3, 4);
		for (int i : array) {
			list.add(i);
		}
		CursorableLinkedList.Cursor it = list.cursor();
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
		list.remove(1);
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
	}

	@sketch.ounit.OUnit
	void rewriteCursorNextIndexAddNext13() {
		CursorableLinkedList list = new CursorableLinkedList();
		Integer[] array = Values.chooseArray(1, 2, 3, 4);
		for (int i : array) {
			list.add(i);
		}
		CursorableLinkedList.Cursor it = list.cursor();
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
		list.remove(2);
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
	}

	@sketch.ounit.OUnit
	void rewriteCursorNextIndexAddNext14() {
		CursorableLinkedList list = new CursorableLinkedList();
		Integer[] array = Values.chooseArray(1, 2, 3, 4);
		for (int i : array) {
			list.add(i);
		}
		CursorableLinkedList.Cursor it = list.cursor();
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
		list.remove(3);
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
	}

	@sketch.ounit.OUnit
	void rewriteCursorNextIndexAddNext15() {
		CursorableLinkedList list = new CursorableLinkedList();
		Integer[] array = Values.chooseArray(1, 2, 3, 4);
		for (int i : array) {
			list.add(i);
		}
		CursorableLinkedList.Cursor it = list.cursor();
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
		list.remove(4);
		Observer.observeExpr(it.next());
		Observer.observeExpr(it.nextIndex());
	}

	@sketch.ounit.OUnit
	void rewriteListListIteratorNextRemovePrevious0() {
		List list = new LinkedList();
		ListIterator it = list.listIterator();
		list.add(1);
		list.add(2);
		list.add(3);
		int index = Values.choose(0, 1, 2);
		it.remove();
		Object o = list.get(index);
		Object o1 = null;
		while (index-- > 0) {
			o1 = it.next();
		}
		Observer.observeExpr(o, o1);
	}

	@sketch.ounit.OUnit
	void rewriteListListIteratorNextRemovePrevious1() {
		List list = new LinkedList();
		ListIterator it = list.listIterator();
		list.add(1);
		list.add(2);
		list.add(3);
		int index = Values.choose(0, 1, 2);
		Object o = list.get(index);
		Object o1 = null;
		while (index-- > 0) {
			o1 = it.next();
		}
		Observer.observeExpr(o, o1);
	}

	@sketch.ounit.OUnit
	void rewriteLRUMap0() {
		LRUMap map = new LRUMap(3);
		map.put(1, 2);
		map.put(2, 3);
		map.put(3, 4);
		int key = Values.choose(1, 2, 3, 4);
		int value = Values.choose(5, 6, 7, 8);
		if (key > value) {
		}
		map.put(1, 5);
		Observer.observeExpr(map.size());
		Observer.observeExpr(map.isEmpty(), false);
		Observer.observeExpr(map.containsKey(1), true);
		Observer.observeExpr(map.containsKey(5), false);
		map.put(2, 6);
		Observer.observeExpr(map.size());
		Observer.observeExpr(map.isEmpty(), false);
		Observer.observeExpr(map.containsKey(2), true);
		Observer.observeExpr(map.containsKey(6), false);
		map.put(3, 7);
		Observer.observeExpr(map.size());
		Observer.observeExpr(map.isEmpty(), false);
		Observer.observeExpr(map.containsKey(3), true);
		Observer.observeExpr(map.containsKey(7), false);
		map.put(4, 8);
		Observer.observeExpr(map.size());
		Observer.observeExpr(map.isEmpty(), false);
		Observer.observeExpr(map.containsKey(4), true);
		Observer.observeExpr(map.containsKey(8), false);
		if (key > value) {
		}
	}
}
